	Search		Browse		Templates		Query

[paper]

paperid	title	year	banks_node_id
tr/ibm/IWBS124	Disjunctive Unification	1990	392109

Click here to go back to the BANKS homepage.

About BANKS - Help - People - Publications

IIT Bombay > CSE Department > Informatics Lab
Comments: {sudarsha} [at] cse.iitb.ac.in {soumen} [at] cse.iitb.ac.in